Buy Used and New Anil Nerode Books

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings: 928 (Lecture Notes in Computer Science)

by Anil Nerode,Miroslaw Truszcynski,V. Wiktor Marek

ISBN 13: 9783540594871

Format: Paperback (436 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)

by Anil Nerode,Yu.V. Matiyasevich

ISBN 13: 9783540581406

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Automata Theory and its Applications (Progress in Computer Science and Applied Logic): 21

by Bakhadyr Khoussainov,Anil Nerode

ISBN 13: 9781461266457

Format: Illustrated (446 pages)
Publisher: Birkhäuser
Published: 01 Nov 2012

Save for later

Logic for Applications (Texts in Computer Science)

by Anil Nerode

ISBN 13: 9781461268550

Format: Paperback (476 pages)
Publisher: Springer
Published: 17 Jan 1997

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings: 11972 (Lecture Notes in Computer Science)

by Sergei Artemov,Anil Nerode

ISBN 13: 9783030367541

Format: Paperback (300 pages)
Publisher: Springer
Published: 14 Dec 2019

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings: 13137 (Lecture Notes in Computer Science, 13137)

by Sergei Artemov,Anil Nerode

ISBN 13: 9783030930998

Format: Paperback (387 pages)
Publisher: Springer
Published: 17 Dec 2021

Save for later